Feeds to Scour
SubscribedAll
Scoured 77843 posts in 1.13 s
Lessons from Formally Verified Deployed Software Systems (Extended version)
arxiv.org·1d
✅Configuration Validation
Preview
Report Post
Graph-based refactor analysis for Go projects , Arbor v1.4
reddit.com·1d·
Discuss: r/golang
📊Call Graphs
Preview
Report Post
Why Programs Fail A Guide to Systematic Debugging by Andreas Zeller-A Book Review
dev.to·14h·
Discuss: DEV
🔍Execution Tracing
Preview
Report Post
Reduction for Structured Concurrent Programs
arxiv.org·1d
🔀Concurrency Models
Preview
Report Post
weitianxin/Awesome-Agentic-Reasoning
github.com·1h
🤖Abstract Machines
Preview
Report Post
Multi-Modal Program Verification in Velvet
proofsandintuitions.net·1d·
Discuss: Hacker News
🧮Theorem Provers
Preview
Report Post
Getting from tested to battle-tested
blog.janestreet.com·1d
🎲Test Generators
Preview
Report Post
How I Automate Parts of My Software Development Lifecycle with AI Agents
dev.to·19h·
Discuss: DEV
🎭Program Synthesis
Preview
Report Post
Show HN: BackBuild – A framework for sequencing complex software delivery
arcaned.co·23h·
Discuss: Hacker News
🔄Incremental Compilation
Preview
Report Post
Use of Assertions
blog.regehr.org·19h
🔍Static Analysis
Preview
Report Post
Pavis: A Dumb Proxy for Boring Reloads
fabian4.site·19h·
Discuss: Hacker News
🦀MIR Optimization
Preview
Report Post
Introducing VulHunt: A High-Level Look at Binary Vulnerability Detection
binarly.io·1d
📜Bytecode Interpreters
Preview
Report Post
Troubleshooting with fault tree analysis and PIOSEE
developers.redhat.com·1d
🩺Compiler Diagnostics
Preview
Report Post
Rust async combinators for elegant and secure concurrency
kerkour.com·1d·
Discuss: r/rust
🪆Embedded DSLs
Preview
Report Post
One part of me wonders whether this would’ve been caught earlier if I spent some more time analizing the possible approaches for this refactor. Honestl...
lmika.org·6h
🧪Compiler Testing
Preview
Report Post
Experiments on Reward Hacking Monitorability in Language Models
lesswrong.com·5h
🎲Parser Fuzzing
Preview
Report Post
Performance Is Not a Technical Problem
shud.in·2h·
Discuss: Hacker News
⚡Performance
Preview
Report Post
Subagents, Commands and Skills Are Converging
vivekhaldar.com·43m·
Discuss: Lobsters, Hacker News
💬Interactive REPLs
Preview
Report Post
On the way to step functions: the two worlds
blog.julik.nl·2d
🔄CPS Transforms
Preview
Report Post
BPF Verifier State Pruning: Timeline
pchaigno.github.io·2d
💓Live Variable Analysis
Preview
Report Post

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help